Problem:
 0(1(2(3(4(5(1(x1))))))) -> 1(2(3(4(5(1(1(0(1(2(3(4(5(0(1(2(3(4(5(x1)))))))))))))))))))
 0(1(2(3(4(5(1(x1))))))) ->
 1(2(3(4(5(1(1(0(1(2(3(4(5(0(1(2(3(4(5(0(1(2(3(4(5(x1)))))))))))))))))))))))))

Proof:
 Bounds Processor:
  bound: 2
  enrichment: match
  automaton:
   final states: {6}
   transitions:
    11(45) -> 46*
    11(40) -> 41*
    11(37) -> 38*
    11(39) -> 40*
    11(31) -> 32*
    21(30) -> 31*
    21(44) -> 45*
    21(36) -> 37*
    31(35) -> 36*
    31(29) -> 30*
    31(43) -> 44*
    41(42) -> 43*
    41(34) -> 35*
    41(28) -> 29*
    51(55) -> 56*
    51(47) -> 48*
    51(27) -> 28*
    51(61) -> 62*
    51(41) -> 42*
    51(63) -> 64*
    51(53) -> 54*
    51(33) -> 34*
    01(32) -> 33*
    01(38) -> 39*
    12(85) -> 86*
    12(80) -> 81*
    12(77) -> 78*
    12(79) -> 80*
    12(71) -> 72*
    00(5) -> 6*
    00(2) -> 6*
    00(4) -> 6*
    00(1) -> 6*
    00(3) -> 6*
    22(70) -> 71*
    22(84) -> 85*
    22(76) -> 77*
    10(5) -> 1*
    10(2) -> 1*
    10(4) -> 1*
    10(1) -> 1*
    10(3) -> 1*
    32(75) -> 76*
    32(69) -> 70*
    32(83) -> 84*
    20(5) -> 2*
    20(2) -> 2*
    20(4) -> 2*
    20(1) -> 2*
    20(3) -> 2*
    42(82) -> 83*
    42(74) -> 75*
    42(68) -> 69*
    30(5) -> 3*
    30(2) -> 3*
    30(4) -> 3*
    30(1) -> 3*
    30(3) -> 3*
    52(67) -> 68*
    52(109) -> 110*
    52(111) -> 112*
    52(81) -> 82*
    52(73) -> 74*
    40(5) -> 4*
    40(2) -> 4*
    40(4) -> 4*
    40(1) -> 4*
    40(3) -> 4*
    02(72) -> 73*
    02(78) -> 79*
    50(5) -> 5*
    50(2) -> 5*
    50(4) -> 5*
    50(1) -> 5*
    50(3) -> 5*
    1 -> 55*
    2 -> 47*
    3 -> 61*
    4 -> 53*
    5 -> 27*
    39 -> 63*
    45 -> 67*
    46 -> 33,6
    48 -> 28*
    54 -> 28*
    56 -> 28*
    62 -> 28*
    64 -> 34*
    79 -> 109*
    85 -> 111*
    86 -> 39*
    110 -> 74*
    112 -> 68*
  problem:
   
  Qed